On Formal Ethnographic Procedures

Formal Method of Communicating Operating Procedures

HAZOP is a widely-used technique for identifying potential hazards in process plants. However, the application of the technique is very repetitive and time consuming. One way to overcome this bottleneck is to develop automated hazard identification systems that emulate the HAZOP technique. Much of the research on automated hazard identification so far has concentrated on continuous plants by co...

On Ethnographic Sincerity

This essay posits sincerity and humor as linked ways of politicizing the interactions that underpin all ethnographic encounters. This politicization is contrasted with conventional anthropological preoccupations with authenticity (and fetishizations of ethnographic writing), and it demands attention to the human bodies that constitute ethnographic intersubjectivity. Combining a discussion of Ha...

Tailoring intervention procedures to routine primary health care practice; an ethnographic process evaluation

BACKGROUND Tailor-made approaches enable the uptake of interventions as they are seen as a way to overcome the incompatibility of general interventions with local knowledge about the organisation of routine medical practice and the relationship between the patients and the professionals in practice. Our case is the Quattro project which is a prevention programme for cardiovascular diseases in h...

Visual Mapping of Clinical Procedures Using Ethnographic Techniques in Medical Device Design

Formal analysis of some secure procedures for certificate delivery

The paper describes and formally analyzes two communication protocols to manage the secure emission of digital certificates. The formal analysis is carried out by means of a software tool for the automatic verification of cryptographic protocols with finite behaviour. The tool is able to discover, at a conceptual level, attacks against security procedures. The methodology is general enough to b...